Homomorphism Problems in Graph Databases and Automatic Structures
arxiv.org·15h
🔗Graph Isomorphism
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·9h
💎Information Crystallography
Who Invented the Johnson Decade Counter (and Why)?
eejournal.com·1d·
Discuss: Hacker News
⚡Homebrew CPUs
An enough week
blog.mitrichev.ch·23h·
Discuss: blog.mitrichev.ch
📈Linear programming
The Chip That Spoke Lisp
jxself.org·3d
🤖Lisp Machines
Caltech Shatters Record With 6,100-Qubit Quantum Array
scitechdaily.com·1d
⚛️Quantum Tape
Parallelizing Cellular Automata with WebGPU Compute Shaders
vectrx.substack.com·9h·
Discuss: Substack
🔲Cellular Automata
PCBs and parts are on hand - beginning construction of new 1130MRAM board
rescue1130.blogspot.com·21h·
Discuss: rescue1130.blogspot.com
⚙️DIY Electronics
Cactus Language • Semantics 3
inquiryintoinquiry.com·3h
🔢Denotational Semantics
High-Quality Video Tape Conversion for Homes and Businesses
forums.anandtech.com·12h
📼Tape Simulation
Quantum computing is "mission crtical"
federalnewsnetwork.com·6h·
Discuss: Hacker News
⚛️Quantum Tape
Trillion-Scale Goldbach Verification on Consumer Hardware -novel Algorithm [pdf]
zenodo.org·19h·
Discuss: Hacker News
🔢Reed-Solomon Math
Someone programmed a 65-year old computer to play Boards of Canada's 'Olson'
engadget.com·20h
🎵Gameboy Sound
Experimenting with ACL2 and Claude Code
mikedodds.org·6h·
Discuss: Hacker News
👑Isabelle
Neuro-Symbolic AI
en.wikipedia.org·4h·
Discuss: Hacker News
🔲Cellular Automata
When mathematics meets aesthetics: Tessellations as a precise tool for solving complex problems
phys.org·2h
📐Mathematical Art
Categorical systems theory
topos.institute·7h
🔀Category Theory
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·15h
⛪Church Encoding
SPAD: Specialized Prefill and Decode Hardware for Disaggregated LLM Inference
arxiv.org·15h
💻Local LLMs
Unveiling the Power of Queues: A Journey into Data Structures and Algorithms
dev.to·1d·
Discuss: DEV
⚡Cache Theory